— инструменты, употребляемые при обслуживании котлов; к ним относятся: лопата, резак, ломик, гребок, вальцовка, банники.
Самойлов К. И.Морской словарь. - М.-Л.: Государственное Военно-морское Издательство НКВМФ Союза ССР,1941
Смотреть больше слов в «Морском словаре»